#ifndef TYPE64
#define TYPE64 1
#include <sys/types.h>
typedef unsigned short unichar;
typedef int32_t hint_t;
typedef long pint_t;
#endif
